Englisch-Finnisch Übersetzung für decidable

Definition für decidable

  • capable of being decided
  • in intuitionistic logic, a proposition ''P'is decidable in a given theory if it can be proven from the theory that "either ''P'or not ''P''", i.e. in symbols: P \vee \neg P .http://plato.stanford.edu/entries/logic-intuitionistic/

Anwendungsbeispiele

  • It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine.

Häufigste Anfragen

Beliebte Wörterbücher

Übersetzung.cc

Übersetzung.cc ist ein kostenloses Online Wörterbuch. Mehr als 14 Millionen Übersetzungen.

AGB   Cookie   Kontakt

In EnglishEn españolPå svenskaSuomeksiEestikeelne

Mindmax
Quelle: Wiktionary.
Lizenz: Creative Commons Attribution-ShareAlike.
© 2004-2024 Übersetzung.cc